Näytetään tulokset 1 - 10 / 1286
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Combining ontological modelling and probabilistic reasoning for network management

Vertaisarvioitu
Avoin saatavuus
DOI
10.3233/AIS-160419
Apajalahti, Kasper; Hyvönen, Eero; Niiranen, Juha; Räisänen, Vilho
Journal of ambient intelligence and smart environments2017 Julkaisujen tiedon ikoni

Plingo: A System for Probabilistic Reasoning in Answer Set Programming

Vertaisarvioitu
Avoin saatavuus
DOI
10.1017/S1471068424000449
Hahn, Susana; Janhunen, Tomi; Kaminski, Roland; Romero, Javier; Rühling, Nicolas; Schaub, Torsten;
THEORY AND PRACTICE OF LOGIC PROGRAMMING2024 Julkaisujen tiedon ikoni

Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach

Vertaisarvioitu
DOI
10.4018/978-1-60960-747-0
Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas
Dependability and Computer Engineering: Concepts for Software-Intensive Systems2011 Julkaisujen tiedon ikoni

Priorities and Nonmonotonic Reasoning

Rintanen, J.
-1993 Julkaisujen tiedon ikoni

Fuzzy Reasoning in Plant Design

Vertaisarvioitu
Hurme, M.; Järveläinen, M.
-1994 Julkaisujen tiedon ikoni

Law students’ descriptions of legal reasoning

Vertaisarvioitu
Avoin saatavuus
DOI
10.1080/03069400.2022.2057754
Haarala-Muhonen, Anne; Hyytinen, Heidi; Tuononen, Tarja; Melander, Sakari
The Law Teacher2022 Julkaisujen tiedon ikoni

Petri Net Analysis and Nonmonotonic Reasoning

Vertaisarvioitu
Heljanko, Keijo; Niemelä, Ilkka
Helsinki University of Technology2000 Julkaisujen tiedon ikoni

AutoPC: An Open-Source Framework for Efficient Probabilistic Reasoning on FPGA Hardware

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/NewCAS58973.2024.10666359
Periasamy, Karthekeyan; Leslin, Jelin; Korsman, Aleksi; Yao, Lingyun; Andraud, Martin
IEEE International New Circuits and Systems Conference2024 Julkaisujen tiedon ikoni

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-21541-4_4
Hahn, Susana; Janhunen, Tomi; Kaminski, Roland; Romero, Javier; Rühling, Nicolas; Schaub, Torsten
Lecture Notes in Computer Science2022 Julkaisujen tiedon ikoni

Reasoning over the Air: A Reasoning-based Implicit Semantic-Aware Communication Framework

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/twc.2023.3312115
Xiao, Yong; Liao, Yiwei; Li, Yingyu; Shi, Guangming; Poor, H. Vincent; Saad, Walid; Debbah, Mérouane...
IEEE transactions on wireless communications2024

Combining ontological modelling and probabilistic reasoning for network management

Vertaisarvioitu
Avoin saatavuus
DOI
10.3233/AIS-160419
2017

Plingo: A System for Probabilistic Reasoning in Answer Set Programming

Vertaisarvioitu
Avoin saatavuus
DOI
10.1017/S1471068424000449
2024

Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach

Vertaisarvioitu
DOI
10.4018/978-1-60960-747-0
2011

Priorities and Nonmonotonic Reasoning

1993

Fuzzy Reasoning in Plant Design

Vertaisarvioitu
1994

Law students’ descriptions of legal reasoning

Vertaisarvioitu
Avoin saatavuus
DOI
10.1080/03069400.2022.2057754
2022

Petri Net Analysis and Nonmonotonic Reasoning

Vertaisarvioitu
2000

AutoPC: An Open-Source Framework for Efficient Probabilistic Reasoning on FPGA Hardware

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/NewCAS58973.2024.10666359
2024

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-21541-4_4
2022

Reasoning over the Air: A Reasoning-based Implicit Semantic-Aware Communication Framework

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/twc.2023.3312115
2024